Métodos Formais em Engenharia de Software
Mestrado de [Engenharia] Informática (2012/13)
Cancel
Search
:
^m
Education/MFES1213 Web
Changed
Changed by
Material
04 Mar 2015 - 13:34 - r64
MariaJoaoFrade
Material disponível ou a disponibilizar: Bibliografia Daniel Jackson. abstractions: logic, language, and analysis . Revised edition, MIT Press, 2012. ...
Found
1
topics.
Copyright © by the contributing authors. Ideas, requests, problems?
Send feedback
.
Syndicate this site
RSS
ATOM